Form-based Software Composition
نویسندگان
چکیده
The development of flexible and reusable abstractions for software composition has suffered from the inherent problem that reusability and extensibility are limited due to position-dependent parameters. To tackle this problem, we have defined forms, immutable extensible records, that allow for the specification of compositional abstractions in a language-neutral and robust way. In this paper, we present a theory of forms and show how forms can be used to represent components based on software artifacts developed for the .NET framework.
منابع مشابه
Hosted Universal Composition: Models, Languages and Infrastructure in mashArt
Information integration, application integration and component-based software development have been among the most important research areas for decades. The last years have been characterized by a particular focus on web services, the very recent years by the advent of web mashups, a new and usercentric form of integration on the Web. However, while service composition approaches lack support f...
متن کاملInterleaving Web Services Composition and Execution Using Software Agents and Delegation
The paper presents a software agent-based approach that supports the interleaving of Web services composition and execution. A Web service is an accessible application that other applications and humans as well can automatically discover and invoke. Interleaving stands for carrying out the composition and execution of Web services in parallel. This allows handling the execution context of the W...
متن کاملDesign Components: Towards Software Composition at the Design Level
Component-based software development has proven effective for systems implementation in well-understood application domains, but is still insufficient for the creation of reusable and changeable software architectures. Design patterns address these shortcomings by capturing the expertise that is necessary for reusable design solutions. However, there is so far no methodical approach to providin...
متن کاملA form-based meta-model for software composition
In recent years considerable progress has been made to facilitate the specification and implementation of software components. However, it is far less clear what kind of language support is needed to enable a flexible and reliable software composition approach. Object-oriented programming languages seem to already offer some reasonable support for component-based programming (e.g., encapsulatio...
متن کاملExample of Parallel Composition Where a Software Program Is Synthesized
Parallel (or asynchronous) composition models how software programs communicate. Using this form of composition, we can derive a solution X which when composed in parallel with the fixed part, satisfies the specification. One way to do parallel composition is to convert the problem into one of synchronous composition, solve it and convert the answer back. In this paper, we propose some methods ...
متن کامل